Nuprl Definition : rev_implies 11,40
P  Q == Q  P 
latex

DefinitionsP  Q, P  Q
FDL editor aliasesrev_implies

origin